La filosofía griega recibida, en sus diversas modulaciones (la judeocristiana entre ellas), abrió un mundo cuya decadencia como ideal regulador de nuestro acceso a lo que hay (acceso teórico, práctico, estético, triple «mirar» encadenado de origen él mismo griego) tiene importantes consecuencias para nuestro concepto de realidad y el papel que han de jugar en él nociones determinantes como la de experiencia.

Automatic control of physiological variables is one of the most active areas in biomedical engineering. This paper is centered in the prediction of the analgesic variables evolution in patients undergoing surgery. The proposal is based on the use of hybrid intelligent modelling methods. The study considers the Analgesia Nociception Index to assess the pain in the patient and remifentanil as intravenous analgesic. The model proposed is able to make a one-step-ahead prediction of the remifentanil dose corresponding to the current state (...) of the patient. The input information is the previous remifentanil dose, the ANI variable and the electromyogram signal. Modelling techniques used are Artificial Neural Networks and Support Vector machines for Regression combined with clustering methods. Both training and validation were done with a real dataset from different patients. Results obtained show the potential of this methodology to calculate the drug dose corresponding to a given analgesic state of the patient. (shrink)

ObjectiveTest anxiety (TA) is a construct that has scarcely been studied based on Lang’s three-dimensional model of anxiety. The objective of this article is to investigate the repercussion of sociodemographic and academic variables on different responses for each component of anxiety and for the type of test in adolescent students.MethodA total of 1181 students from 12 to 18 years old (M= 14.7 and SD = 1.8) participated, of whom 569 were boys (48.2%) and 612 girls (51.8%). A sociodemographic questionnaire and (...) theCuestionario de Ansiedad ante los examenes-Adaptado (CAEX-A)[Test Anxiety Questionnaire-Adapted] an adaptation for Spanish secondary school levels (ESO) and Bachillerato were administered.ResultsGirls scored higher on the cognitive and physiological components of TA than boys, the intensity of the physiological response increasing with age. Bachillerato level students reported more physiological anxiety than those of ESO level. Students with better marks in the previous year presented more anxiety in the cognitive component, while those who obtained the lower mark presented higher anxiety values in the behavioral component. Participants reported that the types of tests that cause them more anxiety were oral tests in front of the class, oral presentation in front of a panel, and mathematics tests.ConclusionAdolescents show a differential response of TA based on the physiological, cognitive and motor components, mediated by the variables of gender, age, grade, academic performance and type of exam. These results serve to design specific intervention programs to manage anxiety in situations of academic assessment. (shrink)

This work focuses on the application of machine learning techniques to assist the clinicians in the administration of analgesic drug during general anaesthesia. Specifically, the main objective is to propose the basis of an intelligent system capable of making decisions to guide the opioid dose changes based on a new nociception monitor, the analgesia nociception index. Clinical data were obtained from 15 patients undergoing cholecystectomy surgery. By means of an off-line study, machine learning techniques were applied to analyse the possible (...) relationship between the analgesic dose changes performed by the physician due to the hemodynamic activity of the patients and the evolution of the ANI. After training different classifiers and testing the results under cross validation, a preliminary relationship between the evolution of ANI and the dosage of remifentanil was found. These results evidence the potential of the ANI as a promising index to guide the infusion of analgesia. (shrink)

One of the main challenges in medicine is to guarantee an appropriate drug supply according to the real needs of patients. Closed-loop strategies have been widely used to develop automatic solutions based on feedback variables. However, when the variable of interest cannot be directly measured or there is a lack of knowledge behind the process, it turns into a difficult issue to solve. In this research, a novel algorithm to approach this problem is presented. The main objective of this study (...) is to provide a new general algorithm capable of determining the influence of a certain clinical variable in the decision making process for drug supply and then defining an automatic system able to guide the process considering this information. Thus, this new technique will provide a way to validate a given physiological signal as a feedback variable for drug titration. In addition, the result of the algorithm in terms of fuzzy rules and membership functions will define a fuzzy-based decision system for the drug delivery process. The method proposed is based on a Fuzzy Inference System whose structure is obtained through a decision tree algorithm. A four-step methodology is then developed: data collection, preprocessing, Fuzzy Inference System generation, and the validation of results. To test this methodology, the analgesia control scenario was analysed. Specifically, the viability of the Analgesia Nociception Index as a guiding variable for the analgesic process during surgical interventions was studied. Real data was obtained from fifteen patients undergoing cholecystectomy surgery. (shrink)

Running marathons is an increasingly popular activity with an ever-increasing number of events and participants. Many participants declare that they pursue a variety of goals by running, namely, the maintenance of good health, the development of strength and improvement of fitness, the management of emotions, and the achievement of resilience and psychological wellbeing. The research has examined marathon running, like many other sports, and has studied various factors that reduce athletic performance, such as the experience of anxiety, and that enhance (...) such performance, such as an increase in general wellbeing. This article reports the results of a study on the experience of competitive anxiety among 238 male marathon runners who participated in Seville’s 26th Marathon race on February 23, 2020, and investigates the relationship between anxiety and key dimensions of wellbeing as measured by the Spanish-adapted 20-item PWB Scale. We hypothesized that participating athletes who rated high on the dimensions of PWB would experience lower levels of competitive anxiety with respect to this race. We also proposed that PWB would function as a mediating factor with respect to the experience of anxiety. The results show, as hypothesized, that marathon running enhances wellbeing and reduces anxiety. The data showed significant negative correlations between four of five wellbeing dimensions and the three types of anxiety measured, namely, somatic anxiety, worry, and concentration-impairing anxiety. Other findings supported our hypothesis that wellbeing, as measured, functions as a mediating factor for the moderation of competitive anxiety. Generalization of these findings is limited by the fact that the low number of female participants recruited did not permit valid statistical analyses in this respect. It is known that both anxiety and wellbeing are subjects to variation by gender. The future inclusion of male and female subjects in equivalent studies will undoubtedly add valuable information concerning the dynamics of anxiety and wellbeing. The implications of these findings and the limitations of the study will be discussed. (shrink)

En el escenario actual de Cuba y el mundo la migración al software libre constituye una necesidad para el desarrollo para garantizar la independencia tecnológica. Los procedimientos para realizar dicho proceso son fundamentales en la estrategia definida por el país que incluye la "Guía cubana de migración al software libre", sin embargo, su aplicación práctica enfrenta dificultades que han motivado a los autores a la elaboración de una estrategia específica para la migración al software libre en el sector de la (...) Salud Pública de la provincia de Camagüey, Cuba. En esta estrategia se proponen las acciones concretas, los programas docentes que permitirán la recalificación del capital humano y las acciones que posibiliten garantizar la sostenibilidad de la migración al concluir el proceso. In the present Cuban and world scenarios the migration to free software constitutes a need for the development to guarantee technological independence. The procedures to carry out that process are vital in the strategy defined by the country that includes “Cuban guidelines for the migration to free software” however its practical implementation is facing difficulties that have motivated the authors to elaborate a specific strategy form the migration to free software in the Public health sector in the province of Camagüey, Cuba. In this strategy actions are suggested, like teaching programs that will allow the recertification of the capital human resources and steps that will make possible to guarantee the sustainability of the migration at the end of the process. (shrink)

This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.

A large part of technological advances, especially in the field of industry, have been focused on the optimization of productive processes. However, the detection of anomalies has turned out to be a great challenge in fields like industry, medicine or stock markets. The present work addresses anomaly detection on a control level plant. We propose the application of different intelligent techniques, which allow to obtain one-class classifiers using real data taken from the correct plant operation. The performance of each classifier (...) is assessed and validated with real created faults, achieving successful overall results. (shrink)

Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.

Business ethics has become a very important concern in global business and understanding the effects of various factors on ethical judgments continues to attract research and practitioner attention. Using the Multidimensional Ethics Scale with its five generally accepted philosophical constructs, and vignettes developed by Cohen et al., current study investigates the relationship between cultural values, personality, religiosity and the ethical sensitivity of business students. We focus on a rapidly emerging country, Turkey, whose economic environment is similar to that of the (...) most Western nations but with a significantly different background and cultural values. Data for the study is collected from a major university in the southeastern Turkey. Although some significant relationships are identified between ethical sensitivity and cultural values and personality, our study findings confirm that MES dimensions had the highest influence on ethical sensitivity levels of business students. (shrink)

This paper is a sequel to [2]. We extend Anderson and Belnap’s list with the characteristic axioms of S3→ and S4→ . Then we exhaustively axiomatize these systems with the list thus extended.

The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 (...) is a rich logic in which a number of connectives can be defined. It also has a simple bivalent semantics of the Belnap–Dunn type. (shrink)

As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...) this way, any logic verified by an actual matrix in one of these classes has the property the class generally represents. Particular matrices (and so, logics) in each class are provided. (shrink)

En este trabajo, se propone una clasificación epistemológica teórica para el discurso astrológico a partir de evidencia empírica a fin de abordar el problema de cómo determinar específicamente qué es lo que lo hace ilegítimo. A partir de esta clasificación, se diseñó una intervención didáctica, enmarcada en el enfoque de Enseñanza de las Ciencias Naturales en Contexto (ECNC), con el objetivo de fomentar, en estudiantes de nivel secundario, la capacidad de distinguir enunciados cognoscitivamente ilegítimos -por infalsables o por falsos- respecto (...) de aquellos que pueden constituir genuino conocimiento científico. La secuencia didáctica se implementó con un grupo de 51 estudiantes de 14 a 17 años. Se evaluó su impacto por comparación entre un pretest y un postest. Los resultados mostraron que su capacidad de discernimiento entre enunciados falsables y no falsables se incrementó apreciablemente. (shrink)

A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...) fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (shrink)

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising in Łm4.

Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.

The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson and (...) Belnap’s logic of entailment E. Intuitively, Sm4 can be described as a four-valued expansion of the positive fragment of Lewis’ S5 or, alternatively, as a four-valued version of S5. (shrink)

The aim of this paper is to provide a Routley-Meyer semantics for Ackermann’s logics of “strenge Implikation” Π ′ and Π ′′ . Besides the Disjunctive Syllogism, this semantics validates the rules Necessitation and Assertion. Strong completeness theorems for Π ′ and Π ′′ are proved. A brief discussion on Π ′ , Π ′′ and paraconsistency is included.

The logic B+ is Routley and Meyer’s basic positive logic. We define the logics BK+ and BK'+ by adding to B+ the K rule and to BK+ the characteristic S4 axiom, respectively. These logics are endowed with a relatively strong non-constructive negation. We prove that all the logics defined lack the K axiom and the standard paradoxes of consistency.

RESUMEN Se aplicó una intervención socio sanitaria en el asentamiento rural El León de Camagüey basada en los resultados de un estudio anterior, desde la comunicación social, educativa, así como aspectos socioculturales evaluados que permitieron la realización de este estudio. Su objetivo fue implementar una estrategia de intervención basada en acciones sociales y educativas colectadas en un manual que organizó contenidos de antropología socio cultural, psicología, sociología de la salud y trabajo social comunitario, la que fue conducida por profesionales de (...) enfermería como prestadores, cuyo encargo social les asigna una mayor permanencia e intercambio con los pobladores, potenciándose el trabajo comunitario a partir de febrero de 2016,como etapa de sostenibilidad. La investigación constituyó un diseño mixto, con un estudio cuasi experimental sin grupo control combinado con métodos cualitativos. La evaluación final efectuada en el periodo 2017-2018 exhibió modificaciones positivas en indicadores de las historias clínicas familiares de los pobladores, repercutiendo en el Análisis de la Situación de Salud, realizado en abril de 2018 y el entorno comunitario. Se demostró la importancia de la aplicación de la estrategia de intervención comunitaria desde las disciplinas de las ciencias sociales, por el personal de enfermería como agente de cambio de desarrollo local y protagonista de sostenibilidad. ABSTRACT A social sanitary intervention was applied in the rural establishment El León of Camagüey, based on social and educational actions collected in a manual that organized social cultural anthropology contents, psychology, sociology of the health and community social work, which was led by infirmary professionals like lenders, whose social order assigns a major permanence and exchange of them with the settlers. The investigation constituted a mixed design, with a study quasi experimentally without control group combined with qualitative methods. The final evaluation carried out in the period 2017-2018 exhibited positive modifications in indicators of the familiar clinical history of the settlers, what reverberated in the Analysis of the Situation of Health, carried in April, 2018 and the community environment. It was demonstrated the importance of the application of the strategy of community intervention from the disciplines of the social sciences, by the infirmary personnel as change agent of local development and protagonist of sustainability. (shrink)

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

We provide Routley-Meyer type semantics for relevant logics including Contractionless Ticket Entailment TW (without the truth constant t and o) plus reductio R and Ackermann’s rule γ (i.e., disjunctive syllogism). These logics have the following properties. (i) All have the variable sharing property; some of them have, in addition, the Ackermann Property. (ii) They are stable. (iii) Inconsistent theories built upon these logics are not necessarily trivial.

The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic BM with a dual intuitionistic negation of the type Sylvan defined for the extension CCω of da Costa’s paraconsistent logic Cω. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3DH, the expansion of G3+ with a dual intuitionistic negation of the kind considered by Sylvan (G3+ is the positive fragment of Gödelian (...) 3-valued logic G3). All logics in the paper are paraconsistent. (shrink)

Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...) in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points. (shrink)

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

In his paper “Recent work in relevant logic”, Jago includes a section on Disjunctive Syllogism . The content of the section essentially consists of (a) a valuation of some work by Robles and Méndez on the topic as “not particularly interesting in itself”; (b) a statement establishing that “What would be interesting is to discover just how weak a relevant logic needs to be before disjunctive syllogism becomes inadmissible”. The main problem with this section of Jago’s paper on DS is (...) that the author is unaware of the recent important results on the topic. I show that (1) the valuation in (a) is groundless and (2) the ill-formulated problem in (b) is solved in the recent literature on relevant logics. (shrink)

A prepositional logic S has the Converse Ackermann Property (CAP) if (AB)C is unprovable in S when C does not contain . In A Routley-Meyer semantics for Converse Ackermann Property (Journal of Philosophical Logic, 16 (1987), pp. 65–76) I showed how to derive positive logical systems with the CAP. There I conjectured that each of these positive systems were compatible with a so-called semiclassical negation. In the present paper I prove that this conjecture was right. Relational Routley-Meyer type semantics are (...) provided for each one of the resulting systems (the positive systems plus the semiclassical negation). (shrink)

We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova.

Nowadays, batteries play an important role in a lot of different applications like energy storage, electro-mobility, consumer electronic and so on. All the battery types have a common factor that is their complexity, independently of its nature. Usually, the batteries have an electrochemical nature. Several different test are accomplished to check the batteries performance, and commonly, it is predictable how they work depending of their technology. The present research describes the hybrid intelligent system created to accomplish fault detection over a (...) Lithium Iron Phosphate—LiFePO4 power cell type, commonly used in electro-mobility applications. The approach is based on the cell temperatures behaviour for voltage and current specific values. Taken into account the operating range of a real system based on a LiFePO4 cell, a large set of points of operation have been used to achieve the dataset. The different behaviour zones have been obtained by clustering as a first step. Then, different regression techniques have been used over each cluster. Polynomial regression, artificial neural networks and support vector regression were the combined techniques to develop the hybrid intelligent model proposed. The intelligent system gives very good results over the operating range, detecting all the faults tested during the validation. (shrink)

In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.

The present paper is inspired by Sylvan and Plumwood’s logicBM defined in “Non-normal relevant logics” and by their treatmentof negation with the ∗-operator in “The semantics of first-degree en-tailment”. Given a positive logic L including Routley and Meyer’sbasic positive logic and included in either the positive fragment of Eor in that of RW, we investigate the essential De Morgan negation ex-pansions of L and determine all the deductive relations they maintainto each other. A Routley-Meyer semantics is provided for each logicdefined (...) in the paper. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

Entendemos el concepto de “negación mínima” en el sentido clásico definido por Johansson. El propósito de este artículo es definir la lógica positiva mínima Bp+, y probar que la negación mínima puede introducirse en ella. Además, comentaremos algunas de las múltiples extensiones negativas de Bp+.“Minimal negation” is classically understood in a Johansson sense. The aim of this paper is to define the minimal positive logic Bp+ and prove that a minimal negation can be inroduced in it. In addition, some of (...) the many possible negation extensions of Bp+ are commented. (shrink)

Belnap and Dunn’s well-known 4-valued logic FDE is an interesting and useful non-classical logic. FDE is defined by using conjunction, disjunction and negation as the sole propositional connectives. Then the question of expanding FDE with an implication connective is of course of great interest. In this sense, some implicative expansions of FDE have been proposed in the literature, among which Brady’s logic BN4 seems to be the preferred option of relevant logicians. The aim of this paper is to define a (...) class of implicative expansions of FDE in whose elements Boolean negation is definable, whence strong logics such as the paraconsistent and paracomplete logic PŁ4 and BN4 itself are definable, in addition to classical propositional logic. (shrink)